Hypotenuse Leg Theorem Proof